Programming with Visual Expressions
نویسندگان
چکیده
The lambda calculus is a formal symbolic term rewrite system that has been used for many years both as a mechanism for defining the semantics of programming languages, and as the basis for functional programming languages. In this paper, we describe a completely visual representation for lambda expressions, VEX, that has several advantages over traditional textual lambda calculus. Although VEX is designed as an expression-oriented component of VIPR [3, 4], it can also be used in teaching the concepts of lambda calculus as a replacement for or augmentation to the teaching of traditional textual rewrite rules. Many semantic issues in lambda calculus that are confusing to students, including substitution, free variables, and binding, become apparent and explicit in VEX.
منابع مشابه
Realistic Program Visualization in CafePie
CafePie is a visual programming environment for CafeOBJ, an algebraic specification language based on term rewriting. CafePie shows term rewriting directly by using two types of visualizations: animated cartoon-like and Obi-shaped. A more abstract visualization schema is necessary instead of program understanding at the programming language level. Therefore we investigate the visualization sche...
متن کاملA meta-model for dataflow-based rules in smart environments: Evaluating user comprehension and performance
A considerable part of the behavior in smart environments relies on event-driven and rule specification. Rules are the mechanism most often used to enable user customization of the environment. However, the expressiveness of the rules available to users in editing and other tools is usually either limited or the available rule editing interfaces are not designed for end users with low skills in...
متن کاملMeasuring Facial Emotional Expressions Using Genetic Programming
Genetic Programming techniques can be used to produce regression equations that quantify emotional expressions on a facial model. The formulae give emotional scores based on the position of 25 automatically generated “landmarks” on the face. The method shown here is an integrated part of a system that maps multidimensional data sets to naturalistic visual structures such as a face.
متن کاملA Completely Visual Language for Object - oriented Programming
Writing large and complex programs is a difficult, error-prone task. In this project, we have designed and implemented a visual programming language and graphical programming environment that is intended to make programming easier. In particular, our language, VIPR, is based on graphical program transformation semantics. With the VIPR design and implementation, we have explored a number of sign...
متن کاملSoftware Engineering for Visual Programming Languages
Visual programming languages (VPLs) are becoming increasingly common in several domains. For example, visual programming languages or sublanguages are becoming the most common way to do some kinds of GUI programming, are becoming the most common way of specifying visualization graphics depicting scientific data, and are also starting to appear as macro generators for end-user applications. Howe...
متن کامل